(font_parse_fcname): Fix last change; accept decimal points in font

size.

diff --git a/src/font.c b/src/font.c
index 72ef2d3b58decee976844a4b6c60144643e242be..5fd2abe564141cff89cc82bc3fc65ed6c27e5bbd 100644 (file)
--- a/src/font.c
+++ b/src/font.c
@@ -1365,7 +1365,7 @@ font_parse_fcname (name, font)
        {
          int size_found = 1;
          for (q = p + 1; *q && *q != ':'; q++)
-           if (! isdigit(*q))
+           if (! isdigit(*q) && *q != '.')
              {
                size_found = 0;
                break;